Partially Ordered Runs: A Case Study
نویسندگان
چکیده
We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoning. As a case study, we prove in detail correctness and deadlock–freedom for general partially ordered runs of distributed ASM models of Lamport’s Bakery Algorithm.
منابع مشابه
$EL^2$–hyperstructures Derived from (Partially) Quasi Ordered Hyperstructures
In this paper, we introduce a new class of (semi)hypergroup from a given (partially) quasi-ordered (semi)hypergroup as a generalization of {it "$El$--hyperstructures"}. Then, we study some basic properties and important elements belong to this class.}
متن کاملSampling of Multiple Variables Based on Partially Ordered Set Theory
We introduce a new method for ranked set sampling with multiple criteria. The method relaxes the restriction of selecting just one individual variable from each ranked set. Under the new method for ranking, units are ranked in sets based on linear extensions in partially order set theory with considering all variables simultaneously. Results willbe evaluated by a relatively extensive simulation...
متن کاملCategorical properties of regular partially ordered pure monomorphisms
Let a family of monomorphisms in the category A To study mathematical notions in a category A, such as injectivity, tensor products, flatness, with respect to a class M of its (mono)morphisms, one should know some of the categorical properties of the pair (A ,M ). In this paper we take A to be thecategory Pos-S of S-partially ordered sets and to be a particular class o...
متن کاملGeneralized $F$-contractions in Partially Ordered Metric Spaces
We discuss about the generalized $F$-contraction mappings in partially ordered metric spaces. For this, we first introduce the notion of ordered weakly $F$-contraction mapping. We also present some fixed point results about this type of mapping in partially ordered metric spaces. Next, we introduce the notion of $acute{mathrm{C}}$iri$acute{mathrm{c}}$ type generalized ordered weakly $F$-contrac...
متن کاملGeneralized Weakly Contractions in Partially Ordered Fuzzy Metric Spaces
In this paper, a concept of generalized weakly contraction mappings in partially ordered fuzzy metric spaces is introduced and coincidence point theorems on partially ordered fuzzy metric spaces are proved. Also, as the corollary of these theorems, some common fixed point theorems on partially ordered fuzzy metric spaces are presented.
متن کامل